Matrix multiplication : a group - theoretic approach
نویسنده
چکیده
Given two n × n matrices A and B we want to compute their product c = A · B. The trivial algorithm runs in time n (this and the next running times are meant up to lower order factors n). In 1967 Strassen improved the running time to ≤ n and in 1990 Coppersmith and Winograd improved it further to ≤ n, which continues to be the best to date. Since the output is of size ≥ n it is clear that the best possible running time one can aspire for is n. Remarkably, it is believed that this is attainable. In this lecture we present a group-theoretic approach to matrix multiplication developed by H. Cohn and C. Umans (2003), later with R. Kleinberg and B. Szegedy (2005). This approach gives a conceptually clean way to get fast algorithms, and also provides specific conjectures that if proven yield the optimal n running time. In what follows we first present some notation, then we cover polynomial multiplication, and lastly we present matrix multiplication.
منابع مشابه
Group-Theoretic Partial Matrix Multiplication
A generalization of recent group-theoretic matrix multiplication algorithms to an analogue of the theory of partial matrix multiplication is presented. We demonstrate that the added flexibility of this approach can in some cases improve upper bounds on the exponent of matrix multiplication yielded by group-theoretic full matrix multiplication. The group theory behind our partial matrix multipli...
متن کاملA Note on the Group-theoretic Approach to Fast Matrix Multiplication
In 2003 Cohn and Umans introduced a group-theoretic approach to fast matrix multiplication. This involves finding large subsets S, T and U of a group G satisfying the Triple Product Property (TPP) as a means to bound the exponent ω of the matrix multiplication. We show that S, T and U may be be assumed to contain the identity and be otherwise disjoint. We also give a much shorter proof of the u...
متن کاملA Group-Theoretic Approach to Fast Matrix Multiplication
We develop a new, group-theoretic approach to bounding the exponent of matrix multiplication. There are two components to this approach: (1) identifying groups G that admit a certain type of embedding of matrix multiplication into the group algebra C[G], and (2) controlling the dimensions of the irreducible representations of such groups. We present machinery and examples to support (1), includ...
متن کاملFast matrix multiplication is stable
We perform forward error analysis for a large class of recursive matrix multiplication algorithms in the spirit of [D. Bini and G. Lotti, Stability of fast algorithms for matrix multiplication, Numer. Math. 36 (1980), 63–72]. As a consequence of our analysis, we show that the exponent of matrix multiplication (the optimal running time) can be achieved by numerically stable algorithms. We also s...
متن کاملToward an Optimal Algorithm for Matrix Multiplication
Ever since the dawn of the computer age, researchers have been trying to find an optimal way of multiplying matrices, a fundamental operation that is a bottleneck for many important algorithms. Faster matrix multiplication would give more efficient algorithms for many standard linear algebra problems, such as inverting matrices, solving systems of linear equations, and finding determinants. Eve...
متن کامل